Toward an efficient ontology-based event correlation in SIEM

Cooperative intrusion detection use several intrusion detection systems (IDS) and analyzers in order to build a reliable overview of the monitored system trough a central security information and event management system (SIEM). In such environment, the definition of a shared vocabulary describing the exchanged information between tools is prominent. Since these pieces of information are structured, we propose in this paper to use an ontological representation based on Description Logics (DLs) which is a powerful tool for knowledge representation. Moreover, DLs are able to ensure a decidable reasoning. An alert correlation prototype is presented using this ontology, and an illustrative attack scenario is carried out to show the usefulness of the proposed ontolog

Synthetic Biology Open Language (SBOL) Version 1.1.0

In this BioBricks Foundation Request for Comments (BBF RFC), we specify the Synthetic Biology Open Language (SBOL) Version 1.1.0 to enable the electronic exchange of information describing DNA components used in synthetic biology. We define: 1. the vocabulary, a set of preferred terms and 2. the core data model, a common computational representation

The Ontology for Biomedical Investigations

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource (http://obi-ontology.org) providing details on the people, policies, and issues being addressed in association with OBI. The current release of OBI is available at http://purl.obolibrary.org/obo/obi.owl

ABSTRACT Title of dissertation: COMBINING DESCRIPTION LOGIC REASONING WITH AI PLANNING FOR COMPOSITION OF WEB SERVICES

As Web Services become more prevalent — with the aim of achieving inter-operability between heterogeneous, decentralized and distributed systems — the problem of selecting and composing services to accomplish a given task becomes more important. Using Web ontologies to describe different properties of Web Ser-vices provided by separate developers facilitates their integration. Automating the composition of Web Services is essential for various different subjects ranging from ordinary users performing tasks on the Web, businesses carrying out complex trans-actions, and scientists collaborating with each other on the computational Grid. In this thesis I present the HTN-DL formalism which combines Hierarchical Task Network (HTN) planning and Description Logics (DL) to automatically com-pose Web Services which are described with Web Ontology Language (OWL). The main contributions of this thesis are as follows: • The HTN-DL formalism, which couples Hierarchical Task Network (HTN) planning and Description Logics. HTN-DL combines the expressivity of De-scription Logics with the efficiency of HTN planning systems to solve We

Automated Composition of Web Services using AI Planning Techniques

Web Services is an emerging paradigm in which very loosely coupled software components are published, located, and invoked on the Web as parts of distributed applications. Web Services provide a new way of distributed computing where the interoperability between diverse applications is achieved through platform and language independent interfaces. The main focus of Web Services is the ability to easily combine existing components to create compositions that provide novel functionality that was not directly available from the existing services. Web Services composition is useful for a wide range of audience: ordinary users doing everyday tasks on the Web, commercial organizations involved in e-business applications, and researchers doing intense scientific computation over distributed networks such as the Grid. Automated composition of Web Services requires fairly rich machine-understandable descriptions of services that can be shared between heterogeneous agents. Given appropriate descriptions, AI planning techniques can be employed to automat

Optimizations for answering conjunctive abox queries: First results

Conjunctive query answering is an important task for many applications on Semantic Web. It is important to efficiently answer queries over knowledge bases with large ABoxes. Although answering conjunctive queries has been studied from a theoretical point of view, until very recently, there was no reasoner supporting such functionality